- Haltebedingung
- f PROG [bei Programm, Makro] halt condition
Deutsch-Englisch Wörterbuch für Informatik. 2015.
Haltebedingung
Look at other dictionaries:
Linear temporal logic — Lineare temporale Logik (LTL oder Linear temporal logic) ist ein Modell temporaler Logik mit zeitlichen Modalitäten. In LTL, können Formeln über die Zukunft von Pfaden aufgestellt werden, wie dass eine Bedingung irgendwann wahr wird, eine… … Deutsch Wikipedia
Lineare temporale Logik — (LTL oder Linear temporal logic) ist ein Modell temporaler Logik mit zeitlichen Modalitäten. In LTL können Formeln über die Zukunft von Pfaden aufgestellt werden, beispielsweise dass eine Bedingung irgendwann wahr wird oder eine Bedingung wahr… … Deutsch Wikipedia
